What are SAT constants